Basing Aviation Software Certification on Assurance Cases
نویسندگان
چکیده
منابع مشابه
Assurance cases and prescriptive software safety certification: A comparative study
In safety–critical applications, it is necessary to justify, prior to deployment, why software behaviour is to be trusted. This is normally referred to as software safety assurance. Within certification standards, developers demonstrate this by appealing to the satisfaction of objectives that the safety assurance standards require for compliance. In some standards the objectives can be very det...
متن کاملThe Impact of Quality Assurance Certification on Australian Software Developers
This paper draws on existing literature and research on software development process improvement, and related fields, to explore the impact of quality assurance (QA) certification on the Australian software development industry. Recently, many developers have committed resources to achieve certification in response to government purchasing policies favouring standards-certified suppliers, but c...
متن کاملMerging Safety and Assurance: The Process of Dual Certification for Software
This paper describes a process of dual certification for software that meets both FAA safety requirements and NIST/NSA security requirements. The commercial avionics industry depends on RTCA DO-178B, for software assurance while security products are evaluated according to the Common Criteria. The two sets of requirements from DO-178B and the Common Criteria are assessed for similarity of funct...
متن کاملTowards Safety Assurance of Trusted Autonomy in Air Force Flight Critical Systems
While safety is not implicitely a security problem, a security compromise is a safety concern. The move to autonomy has brought this need to a national level. Every domain with security and safety critical systems is looking to advance the state of the art in certification including, aviation, transportation, information assurance, medical, and energy. Verification and Validation of these syste...
متن کاملSoftware Certification : Methods and Tools
With the pervasive deployment of software in dependable systems used in everyday life, society is increasingly demanding that software used in critical systems must meet minimum safety, security and reliability standards. Certification is the procedure by which an authorized person or agency assesses and verifies characteristics of a system or product in accordance with established requirements...
متن کامل